翻訳と辞書 Words near each other ・ Freezing spray advisory ・ Freezing toilet ・ Freezing tolerance ・ Freezing Works Railway Station ・ Freezing-point depression ・ Freezland Rock ・ Freezy Freakies ・ Freezywater ・ Fregat ・ Fregattenkapitän ・ Fregattenleutnant ・ Frege (programming language) ・ Frege system ・ Frege's propositional calculus ・ Frege's Puzzle ・ Frege's theorem ・ Fregella ・ Fregellae ・ Fregenae ・ Fregenal de la Sierra ・ Fregenia ・ Fregetta ・ Frege–Church ontology ・ Freginals ・ Fregiécourt ・ Fregola (film) ・ Fregoli delusion ・ Fregolia ・ Fregona ・ Freguesia (disambiguation) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Frege's theorem ： ウィキペディア英語版 Frege's theorem In metalogic and metamathematics, Frege's theorem is a metatheorem that states that the Peano axioms of arithmetic can be derived in second-order logic from Hume's principle. It was first proven, informally, by Gottlob Frege in his ''Die Grundlagen der Arithmetik'' (Foundations of Arithmetic), published in 1884, and proven more formally in his ''Grundgesetze der Arithmetik'' (Basic Laws of Arithmetic), published in two volumes, in 1893 and 1903. The theorem was re-discovered by Crispin Wright in the early 1980s and has since been the focus of significant work. It is at the core of the philosophy of mathematics known as neo-logicism. == Frege's theorem in propositional logic == In propositional logic, Frege's theorems refers to this tautology: :$(P\; \backslash to\; (Q\; \backslash to\; R))\; \backslash to\; ((P\; \backslash to\; Q)\; \backslash to\; (P\; \backslash to\; R))$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Frege's theorem」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.